Why not negation by fixpoint?
نویسندگان
چکیده
منابع مشابه
Why the Negation Problem Is Not a Problem for Expressivism
In 1999, Unwin introduced a puzzle about expressivism and negation. He showed that existing accounts of expressivism cannot accommodate even the simplest case of negated normative judgments involving the permissible, the required, and the forbidden. Since descriptivist accounts of normative language do not have a problem accommodating these cases, Unwin believed that the problem was a problem s...
متن کاملAutomatic Claim Negation: Why, How and When
The main goal of argumentation mining is to analyze argumentative structures within an argument-rich document, and reason about their composition. Recently, there is also interest in the task of simply detecting claims (sometimes called conclusion) in general documents. In this work we ask how this set of detected claims can be augmented further, by adding to it the negation of each detected cl...
متن کاملWhy does the central nervous system not regenerate after injury?
A major problem for neuroscientists and clinicians is why the central nervous system shows ineffective regeneration after injury. Injured peripheral nerve fibers reform their connections, whereas those in injured spinal cord never re-grow. Insights into the mechanisms for repair and restoration of function after spinal cord injury have been obtained by experiments showing that injured nerve cel...
متن کاملCombining Explicit Negation and Negation by Failure via Belnap's Logic Combining Explicit Negation and Negation by Failure via Belnap's Logic
This paper deals with logic programs containing two kinds of negation: negation as failure and explicit negation, allowing two diierent forms of uncertainty reasoning in the presence of incomplete information. Such programs have been introduced by Gelfond and Lifschitz and called extended programs. We provide them with a logical semantics in the style of Kunen, based on Belnap's four-valued log...
متن کاملWhy does the central nervous system not regenerate after injury?
A major problem for neuroscientists and clinicians is why the central nervous system shows ineffective regeneration after injury. Injured peripheral nerve fibers reform their connections, whereas those in injured spinal cord never re-grow. Insights into the mechanisms for repair and restoration of function after spinal cord injury have been obtained by experiments showing that injured nerve cel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1991
ISSN: 0022-0000
DOI: 10.1016/0022-0000(91)90033-2